struct cow {
    struct spinlock lock;
    uint8 r_cnt;
} cows[(PHYSTOP - KERNBASE) >> 12];